Перевод: со всех языков на все языки

со всех языков на все языки

formalize a language

См. также в других словарях:

  • language, philosophy of — Philosophical study of the nature and use of natural languages and the relations between language, language users, and the world. It encompasses the philosophical study of linguistic meaning (see semantics), the philosophical study of language… …   Universalium

  • Java (programming language) — infobox programming language name = Java paradigm = Object oriented, structured, imperative year = 1995 designer = Sun Microsystems latest release version = Java Standard Edition 6 (1.6.0) latest release date = latest test version = latest test… …   Wikipedia

  • French Language Services Act — The French Language Services Act is a law in the province of Ontario, Canada which is intended to protect the rights of Franco Ontarians, or French speaking people, in the province.The Act does not give the French language full official language… …   Wikipedia

  • SPARK (programming language) — infobox programming language name = SPARK influenced by = Ada, HAL/SSPARK is a formally defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software… …   Wikipedia

  • Keyhole Markup Language — Infobox file format name = Keyhole Markup Language extension = .kml, .kmz mime = application/vnd.google earth.kml+xml, application/vnd.google earth.kmz owner = Keyhole, Inc., Google creatorcode = genre = Geographic Information System container… …   Wikipedia

  • Leaf language — In computational complexity theory, a leaf language is a method of characterizing a complexity class by formalizing what it means for a machine to accept an input.Several complexity classes are typically defined in terms of a polynomial time… …   Wikipedia

  • Formal grammar — In formal semantics, computer science and linguistics, a formal grammar (also called formation rules) is a precise description of a formal language ndash; that is, of a set of strings over some alphabet. In other words, a grammar describes which… …   Wikipedia

  • Europanto — language name=Europanto creator=Diego Marani date=1996 setting=European Union administration fam1=constructed languages fam2=int. auxiliary languages iso2=art|iso3=eurEuropanto is a linguistic jest presented as a constructed language with a hodge …   Wikipedia

  • Semantics of Business Vocabulary and Business Rules — The Semantics of Business Vocabulary and Business Rules (SBVR) is an adopted standard of the Object Management Group (OMG) intended to be the basis for a formal and detailed natural language declarative description of a complex entity, such as a… …   Wikipedia

  • NooJ — logo URL http://www.nooj4nlp.net/ Type of site …   Wikipedia

  • metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… …   Universalium

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»